Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
461	9ME3 Please stick the barcode label in the box Education Bureau Territory-wide System Assessment 2008 Secondary 3 Add to Reading List Source URL: www.bca.hkeaa.edu.hk Language: English - Date: 2010-01-25 04:48:29 IP Mathematics Theoretical computer science Logic Boolean algebra Logical disjunction Propositional calculus
462	PDF Document Add to Reading List Source URL: www.softwareschule.ch Language: English - Date: 2009-10-12 13:06:18 Eight queens puzzle Boolean data type FALSE Column Mathematics Computing Boolean algebra
463	Proper-case Conversion and Data Transformation API User’ sGui de The Software Company, Inc. www.SoftwareCompany.com Add to Reading List Source URL: www.softwarecompany.com Language: English - Date: 2015-01-12 19:13:57 Mathematical logic Computing Boolean algebra Boolean data type Mathematics
464	TBsafe® - Modified Condition / Decision Coverage (MC/DC) Software Technology Add to Reading List Source URL: www.ldra.com Language: English - Date: 2014-12-04 11:36:20 Computing LDRA Testbed Computer programming Propositional calculus Software metrics Logical disjunction Boolean data type Conditional Relational operator Software testing Boolean algebra Software engineering
465	此格只許填寫一個大楷英文字母 3ME2 3 M E 2 Add to Reading List Source URL: www.bca.hkeaa.edu.hk Language: English - Date: 2013-08-22 01:52:22 Mathematics Boolean algebra Logical disjunction Propositional calculus
466	ABN[removed]P OWER QUALITY MANAGEMENT P LAN 2011 Add to Reading List Source URL: www.aer.gov.au Language: English - Date: 2012-08-27 17:56:19 Truth table Mathematics Flora of Canada Power Boolean algebra Propositional calculus
467	Identity and Harmony revisited∗ Stephen Read University of St Andrews email: [removed] April 29, 2014 Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2014-04-29 03:59:14 Propositional calculus Logical connectives Boolean algebra Semantics Negation If and only if Natural deduction Disjunctive syllogism First-order logic Logic Mathematical logic Mathematics
468	3 Semantics for Sentential Logic 1 Truth-functions Now that we know how to recover the sentential logical form of an English argument from the argument itself, the next step is to develop a technique for testing argumen Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2001-01-26 18:45:41 Abstract algebra Logical connectives Boolean algebra Binary operations Semantics Truth table Logical biconditional Material conditional Negation Logic Propositional calculus Mathematical logic
469	Sage Reference Manual: Symbolic Logic Release 6.6.beta0 The Sage Development Team Add to Reading List Source URL: sagemath.org Language: English - Date: 2015-02-21 07:35:21 Mathematics Boolean algebra Semantics Logical connectives Tautology Sage Truth table Conjunctive normal form Negation Logic Propositional calculus Mathematical logic
470	Blocked Clause Decomposition Marijn J. H. Heule? and Armin Biere?? The University of Texas at Austin and Johannes Kepler University Linz Abstract. We demonstrate that it is fairly easy to decompose any propositional form Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 14:11:30 Automated theorem proving Propositional calculus Boolean algebra Mathematical logic Logic in computer science Conjunctive normal form Boolean satisfiability problem Resolution Unit propagation Theoretical computer science Mathematics Logic

UPDATE